P:=W
  implements
   []
t
